Towards a Hume IDE
نویسندگان
چکیده
The Java-based Hume IDE provides a classic edit/run/debug text-based interactive programming environment, augmented with the Hume Diagram Tool(HDT) which displays two-dimensional box/wiring diagrams from Hume source programs. Diagram layout may be modified interactively and wires may be inspected to identify associated types. Here, we present an overview of the IDE, focusing on the HDT. We also present a preliminary performance evaluation of the Hume-Java compiler; another major Hume IDE component.
منابع مشابه
Towards a Box Calculus for Hierarchical Hume
We present a first approach towards a calculus of transformations of Hume boxes, using an extended version of Hume called Hierarchical Hume. We present and motivate Hierachical Hume, transformations and the calculus and derive some rules and strategies. The approach is then illustrated through two examples.
متن کاملMulla Sadra and Hume on Comparative Analyzing of Causality
One of the most important causes for comparative studying on philosophical systems is to find their commonalities for responding common questions and to emphasize on their differences for taking functional answers encountering modern philosophical challenges and problems. Here, causality is chosen as the case study. Causality is of the basic philosophical issues that have been continually consi...
متن کاملThe Argument of Possibility and necessity encountering the critiques of Russell, Hume, and Kant
The argument of possibility and necessity- which is considered as some of the most important arguments in proving the existence of God - have taken a key place in humanschr('39') thoughts. In history, among thinkers related to the creation of the universe, no major philosopher or thinker can be found other than those who have faced this argument; thus this argument has met many criticisms an...
متن کاملStructure Based Discovery of Small Molecules to Regulate the Activity of Human Insulin Degrading Enzyme
BACKGROUND Insulin-degrading enzyme (IDE) is an allosteric Zn(+2) metalloprotease involved in the degradation of many peptides including amyloid-β, and insulin that play key roles in Alzheimer's disease (AD) and type 2 diabetes mellitus (T2DM), respectively. Therefore, the use of therapeutic agents that regulate the activity of IDE would be a viable approach towards generating pharmaceutical tr...
متن کاملTowards Automated Property Discovery within Hume
Hume is a Turing-complete programming language, designed to guarantee space and time bounds whilst still working on a high-level. Formal properties of Hume programs, such as invariants and transformations, have previously been verified using the temporal logic of actions (TLA). TLA properties are verified in an inductive way, which often requires lemma discovery or generalisations. Rippling was...
متن کامل